The Journal of Automated Reasoning was established in 1983 by Larry Wos who was its editor in chief until 1992.[1] It covers research and advances in automated reasoning — mechanical verification of theorems and other deductions in classical and non-classical logic.[2]
The journal is published by Springer. As of 2010, the editor-in-chief is Tobias Nipkow. The journal's impact factor in 2009 was 1.926, and it is indexed by several science indexing services, including DBLP, the Science Citation Index and SCOPUS.[3]